|
|
Computer vision : ECCV'92 / Proceedings of European Conference... ; ed. G. Sandini
Monografia
Publication
Berlin : Springer-Verlag, 1992
Description
XV, 909 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Concurrency 88 / Proceedings of the International Conference... ; ed. F. H. Vogt
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
400 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Automated reasoning with analytic tableaux and related methods : proceedings / International Conference... ; ed. Harrie De Swart
Monografia
Publication
Berlin : Springer, cop. 1998
Description
X, 324 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ECOOP'91 : proceedings / European Conference... ; ed. Pierre America
Monografia
Publication
Berlin : Springer-Verlag, cop. 1991
Description
VI, 396 p. :
il. gráficos ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Mathematics of program construction / Proceedings of International Conference... ; ed. Johan Jeuring
Monografia
Publication
Berlin : Springer, 1998
Description
X, 382 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
B'98 : recent advances in the development and use of the B method / Second International B Conference... ; ed. Didier Bert
Monografia
Publication
Berlin : Springer, cop. 1998
Description
VIII, 311 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
CONCUR'92 : proceedings / Third International Conference... ; ed. W. R. Cleaveland
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
[8], 580 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Automated deduction - Cade-14 : proceedings / 14th International Conference... ; ed. William McCune
Monografia
Publication
Berlin : Springer-Verlag, cop. 1997
Description
XIV, 462 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in cryptology - AUSCRYPT'90 / Proceedings of the International Conference... ; ed. J. Seberry, J. Pieprzyk
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 462 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
ECOOP'92 : proceedings / European Conference... ; ed. O. Lehrmann Madsen
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
X, 426 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Foundations of software technology and theoretical computer science : proceedings / 12th Conference... ; ed. R. Shyamasundar
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
XIII, 403 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software technology and theoretical computer science / Fourth Conference... ; ed. Mathai Joseph, Rudrapatna Shyamasundar
Monografia
Publication
Berlin : , Springer-Verlag
Description
IV, 468 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software technology and theoretical computer science / Proceedings of Eighth Conference... ; ed. K. V. Nori, S. Kumar
Monografia
Publication
Berlin : Springer-Verlag, 1988
Description
IX, 519 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Foundations on software technology and theoretical computer science / Proceedings of Fifth Conference... ; ed. S. N. Maheshwari
Monografia
Publication
Berlin : Springer-Verlag, cop. 1985
Description
IX, 521 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Lost (1).
|
|
|
Functional programming languages and computer architecture / Conference... ; ed. Jean-Pierre Jouannaud
Monografia
Publication
Berlin : Springer-Verlag, cop. 1985
Description
VI, 413 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Functional programming languages and computer architecture / Proceedings of the fifth Conference... ; ed. J. Hughes
Monografia
Publication
Berlin : Springer-Verlag, cop. 1991
Description
VIII, 666 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer aided verification : proceedings / 9th International Conference... ; ed. Orna Grumberg
Monografia
Publication
Berlin : Springer, cop. 1997
Description
XI, 483 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computer assisted learning / Proceedings of 3rd International Conference... ; D. H. Norrie, H. W. Six
Monografia
Publication
Berlin : Springer-Verlag, 1990
Description
VII, 466 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of software technology and theoretical computer science / Proceedings of 11th Conference... ; ed. S. Biswas, K. V. Nori
Monografia
Publication
Berlin : Springer-Verlag, 1991
Description
X, 419 p. :
il. ;
25 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Concur'95 : concurrency theory : proceedings / 6th International Conference... ; ed. Insup Lee, Scott A. Smolka
Monografia
Publication
Berlin : Springer-Verlag, 1995
Description
X, 545 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|